Proactive model based testing and evaluation for component-based systems
نویسندگان
چکیده
منابع مشابه
Model-based testing of dynamic component systems
This dissertation devotes to the question whether the established technique of model based testing (MBT) can be applied to a special type of software component systems called dynamic component systems (DCSs). DCSs have the special characteristic that they support the change of component instance compositions during runtime of the system. In these systems, each component instance exhibits an own...
متن کاملSymbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made of components depending on the system they will constitute. In this paper we propose an approach to test each component of a system by extracting accurate behaviours using information given by the system specification. ...
متن کاملmortality forecasting based on lee-carter model
over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...
15 صفحه اولCompatibility Testing for Component - Based Systems
Title of Dissertation: COMPATIBILITY TESTING FOR COMPONENTBASED SYSTEMS Ilchul Yoon, Doctor of Philosophy, 2010 Dissertation directed by: Professor Alan Sussman Department of Computer Science Many component-based systems are deployed in diverse environments, each with different components and with different component versions. To ensure the system builds correctly for all deployable combination...
متن کاملEnabling Statistical Testing for Component-based Systems
In this article, an automated statistical test approach for the systematic quality assurance of component-based systems is presented. From state-based component models a compact interaction test model is constructed, which describes component interactions and interaction sequences. The model is annotated with an interaction profile to facilitate the generation of representative test cases and t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Engineering & Technology
سال: 2017
ISSN: 2227-524X
DOI: 10.14419/ijet.v7i1.1.8927